A note on constructive semantics for description logics
نویسندگان
چکیده
Following the approaches and motivations given in recent works about constructive interpretation of description logics, we introduce the constructive description logic KALC. This logic is based on a Kripke-style semantics inspired by the Kripke semantics for Intuitionistic first order logic. In the paper we present the main features of our semantics and we study its relations with other approaches. Moreover, we present a tableau calculus which turns out to be sound and complete for KALC.
منابع مشابه
Constructive Description Logics: what, why and how
This note discusses possible conceptions of constructive description logics. We discuss why different communities should be interested in constructive description logics, why so little work has been done on this before and why we think it is important. Our goal is a system of constructive contexted description logic, whose contexts are inspired by Guha-McCarthy’s ideas along the lines of the sy...
متن کاملActions over a Constructive Semantics for ALC
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ALC.
متن کاملASP Based Generation of Information Terms for Constructive EL
Constructive description logics define interpretations of description logics under different constructive semantics. These logics have been mostly studied from the point of view of their formal properties: limited practical approaches have been shown for their use in knowledge representation and Semantic Web languages and tools (which, on the other hand, constitute the distinctive applications ...
متن کاملExponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics
The complexity of the subsumption problem in description logics can vary widely with the choice of the syntactic fragment and the semantic interpretation. In this paper we show that the constructive semantics of concept descriptions, which includes the classical descriptive semantics as a special case, offers exponential speed-up in the existentialdisjunctive fragment UL of ALC.
متن کاملA Constructive Semantics for ALC
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK interpretation. We prove that such a semantics provides an interpretation of ALC formulas consistent with the classical one and we show how, according to s...
متن کامل